FDL - Nuprl Definition : spread7

Nuprl Definition : spread7

let a,b,c,d,e,f,g = u in
lv(a;b;c;d;e;f;g)
== let a,zz1 = u
== in
== let b,zz2 = zz1
== in
== let c,zz3 = zz2 in let d,zz4 = zz3 in let e,zz5 = zz4 in let f,g = zz5 in v(a;b;c;d;e;f;g)

latex

Definitions let x,y = A in B(x;y)

FDL editor aliases spread7

origin

Definitions	let x,y = A in B(x;y)
FDL editor aliases	spread7